solving exact differential equations